Logic programming for real-time control of telecommunication switching systems
نویسندگان
چکیده
منابع مشابه
Using Constraint Logic Programming for Engineering of Real-Time Systems
We present a compiler-based approach to the design and engineering of complex realtime systems. The systems are built from computation, communication and I/O subsystems, based on different extant real-time models and schemes. We have defined a high-level system specification language, called Real-Time System Markup Language (RTSML), for integration of model-specific subsystems. We have develope...
متن کاملDynamic Programming Tools for Control of Telecommunication Systems
We study monotonicity results for optimal policies of various queueing and resource sharing models. The standard approach is to prove, for each speciic model, certain properties of the dynamic programming value function. By concentrating on the events instead of the entire value function we come to a uniied treatment of monotonicity results for symmetric two-dimensional models. Several models f...
متن کاملA new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem
Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...
متن کاملTemporal Logic for Real-time Systems*
points of the classical control theory which is based on the frequency domain description of the plant, so that the H-infinity control theory has been actively studied in the recent years. It is the design method in the frequency domain based on the modern control theory. However, the H-infinity theory at the present time lacks the identification of the frequency domain. The topics treated here...
متن کاملFuzzy Motion Control for Wheeled Mobile Robots in Real-Time
Due to various advantages of Wheeled Mobile Robots (WMRs), many researchers have focused to solve their challenges. The automatic motion control of such robots is an attractive problem and is one of the issues which should carefully be examined. In the current paper, the trajectory tracking problem of WMRs which are actuated by two independent electrical motors is deliberated. To this end, and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1990
ISSN: 0743-1066
DOI: 10.1016/0743-1066(90)90054-9